I propose that Leibniz did not state Leibniz’s Law, the logically and metaphysically robust principle that is typically understood as the following biconditional: ∀x ∀y [(x = y) ↔ ∀P (Px ↔ Py)]. To arrive at this conclusion, I examine the three principles that have become associated with Leibniz’s Law: the Substitutivity Principle (salva veritate), the Indiscernibility of Identicals, and the Identity of Indiscernibles. I show that Leibniz intended salva veritate as a semantic principle, never explicitly stated the Indiscernibility of (...) Identicals, and understood the Identity of Indiscernibles as a metaphysical principle. In the debate about Leibniz’s Law, I focus on four commentators: (1) W. V. O. Quine’s construal of salva veritate as the Indiscernibility of Identicals, (2) Nicholas Rescher’s contention that both the Identity of Indiscernibles and salva veritate may be construed as Leibniz’s Law, (3) Fred Feldman’s argument that Leibniz did not state a law or definition of identity, but only a criterion of identity for concepts, and (4) Edwin Curley’s response to Feldman, that Feldman’s assumptions, along with passages in Leibniz, show Leibniz did state Leibniz’s Law. I argue that Feldman’s position is not completely correct but can be amended with insights from Quine, Rescher, and Curley and by reference to Leibniz’s Complete Concept Theory. (shrink)

In this article, we present a definition of a hyperintensionality appropriate to relevant logics. We then show that relevant logics are hyperintensional in this sense, drawing consequences for other non-classical logics, including HYPE and some substructural logics. We further prove results concerning extensionality in relevant logics. We close by discussing related concepts for classifying formula contexts and potential applications of these results.

Relevant logics are a family of non-classical logics characterized by the behavior of their implication connectives. Unlike some other non-classical logics, such as intuitionistic logic, there are multiple philosophical views motivating relevant logics. Further, different views seem to motivate different logics. In this article, we survey five major views motivating the adoption of relevant logics: Use Criterion, sufficiency, meaning containment, theory construction, and truthmaking. We highlight the philosophical differences as well as the different logics they support. We end with some (...) questions for future research. (shrink)

This article examines how facial recognition technology reshapes the philosophical debate over the ethics of video surveillance. When video surveillance is augmented with facial recognition, the data collected is no longer anonymous, and the data can be aggregated to produce detailed psychological profiles. I argue that – as this non-anonymous data of people’s mundane activities is collected – unjust risks of harm are imposed upon individuals. In addition, this technology can be used to catalogue all who publicly participate in political, (...) religious, and socially stigmatised activities, and I argue that this would undermine central interests of liberal democracies. I examine the degree to which the interests of individuals and the societal interests of liberal democracies to maintain people’s obscurity while in public coincide with privacy interests, as popularly understood, and conclude that there is a practical need to articulate a novel right to obscurity to protect the interests of liberal democratic societies. (shrink)

There appears to be few, if any, limits on what sorts of logical connectives can be added to a given logic. One source of potential limitations is the motivating ideology associated with a logic. While extraneous to the logic, the motivating ideology is often important for the development of formal and philosophical work on that logic, as is the case with intuitionistic logic. One family of logics for which the philosophical ideology is important is the family of relevant logics. In (...) this paper, I explore the limits of what a relevant connective is, showing how some basic criteria motivated by the ideology of relevant logicians provide robust limits on potential connectives. These criteria provide some plausible necessary conditions on being a relevant connective. (shrink)

In classically based modal logic, there are three common conceptions of necessity, the universal conception, the equivalence relation conception, and the axiomatic conception. They provide distinct presentations of the modal logic S5, all of which coincide in the basic modal language. We explore these different conceptions in the context of the relevant logic R, demonstrating where they come apart. This reveals that there are many options for being an S5-ish extension of R. It further reveals a divide between the universal (...) conception of necessity on the one hand, and the axiomatic conception on the other: The latter is consistent with motivations for relevant logics while the former is not. For the committed relevant logician, necessity cannot be the truth in all possible worlds. (shrink)

An important question for proponents of non-contractive approaches to paradox is why contraction fails. Zardini offers an answer, namely that paradoxical sentences exhibit a kind of instability. I elaborate this idea using revision theory, and I argue that while instability does motivate failures of contraction, it equally motivates failure of many principles that non-contractive theorists want to maintain.

Few debates in environmental philosophy have been more heated than the one over the nature of wilderness. And yet, when one surveys the present scene, one finds that a variety of different conceptions of wilderness are still quite popular – some more so in certain professions than others. In this paper, I look at three popular conceptions of wilderness with an eye toward sussing out the good and the bad them. I look at what I call (1) the folk view (...) of wilderness, (2) Leopold’s conception of wilderness, and (3) the legal conception of wilderness (as found in the Wilderness Act of 1964). In the final part of the paper, I sketch out a sort of spectrum account of wilderness, one that I argue allows us to capture more cases of wilderness and might serve as a useful tool in future conservation efforts. (shrink)

Environmental philosophy plays an important role, directly and indirectly, in many parts of society, including land and wildlife management (Leopold, 1949; Minteer, 2015), political activism (Abbey, 1968; Malm, 2020),and technological research and development (Baum & Owe, 2022; Donhauser et al., 2021). Environmental philosophy uncovers the ethical relationships existing between humans and the living and non-living world. It reveals the nuances of our scientific ecological concepts. And it tries to tell us how we might act – individually or collectively – to (...) better achieve our environmental goals. The aim of this special issue is to explore the limits and ever-expanding outer edges of this increasingly important area of philosophical thought. (shrink)

The operational semantics of Urquhart is a deep and important part of the development of relevant logics. In this paper, I present an overview of work on Urquhart’s operational semantics. I then present the basics of collection frames. Finally, I show how one kind of collection frame, namely, functional set frames, is equivalent to Urquhart’s semilattice semantics.

In this paper, I motivate the addition of an actuality operator to relevant logics. Straightforward ways of doing this are in tension with standard motivations for relevant logics, but I show how to add the operator in a way that permits one to maintain the intuitions behind relevant logics. I close by exploring some of the philosophical consequences of the addition.

In Saving Truth from Paradox, Hartry Field presents and defends a theory of truth with a new conditional. In this paper, I present two criticisms of this theory, one concerning its assessments of validity and one concerning its treatment of truth-preservation claims. One way of adjusting the theory adequately responds to the truth-preservation criticism, at the cost of making the validity criticism worse. I show that in a restricted setting, Field has a way to respond to the validity criticism. I (...) close with some general considerations on the use of revision-theoretic methods in theories of truth. (shrink)

Various theorists have endorsed the “communication argument”: communicative capacities are necessary for morally responsible agency because blame aims at a distinctive kind of moral communication. I contend that existing versions of the argument, including those defended by Gary Watson and Coleen Macnamara, face a pluralist challenge: they do not seem to sit well with the plausible view that blame has multiple aims. I then examine three possible rejoinders to the challenge, suggesting that a context-specific, function-based approach constitutes the most promising (...) modification of the communication argument. (shrink)

It is widely agreed that reactive attitudes play a central role in our practices concerned with holding people responsible. However, it remains controversial which emotional attitudes count as reactive attitudes such that they are eligible for this central role. Specifically, though theorists near universally agree that guilt is a reactive attitude, they are much more hesitant on whether to also include shame. This paper presents novel arguments for the view that shame is a reactive attitude. The arguments also support the (...) view that shame is a reactive attitude in the sense that concerns moral accountability. The discussion thereby challenges both the view that shame is not a reactive attitude at all, suggested by philosophers such as R. Jay Wallace and Stephen Darwall, and the view that shame is a reactive attitude but does not concern moral accountability, recently defended by Andreas Carlsson and Douglas Portmore. (shrink)

A common refrain in and outside academia is that prominent sports figures ought to engage more in the public discourse about political issues. This idea parallels the idea that athletes ought to be role models in general. This paper first examines and critiques the “athlete as role model” argument and then applies this critique to the “athlete as political activist” argument. Appealing to the empirical political psychological literature, the paper sketches an argument that athlete activism might actually do more harm (...) than good. (shrink)

In this paper, I examine the ethics of nonviolent protest when a violent response is either foreseen or intended. One central concern is whether protesters, who foresee a violent response but persist, are provoking the violence and whether they are culpable for any eventual harms. A second concern is whether it is permissible to publicize the violent response for political advantage. I begin by distinguishing between two senses of the term provoke: a normative sense where a provocateur knowingly imposes an (...) unjustified risk of a violent response, and a descriptive sense where the respondent feels provoked. I argue that, when the risk of a violent response is justified, the protesters are not provocateurs but akin to nonculpable, entrapping agents who create an opportunity for the regime to respond with disproportionate violence. The regime’s response can disclose its brutality or criminality and this can be fairly publicized for political advantage. When nonviolent protesters create an unjustified risk of violence either because the injustice they oppose is insufficient to justify the risk of a violent response or because the risked harms are disproportionate with the likely political advantages derived from the protest, they are partially culpable provocateurs. However, I argue these partially culpable provocateurs can still permissibly publicize the disproportionate violence of the regime so as to shape public opinion. (shrink)

When asked which of our concepts are normative concepts, metaethicists would be quick to list such concepts as GOOD, OUGHT, and REASON. When asked why such concepts belong on the list, metaethicists would be much slower to respond. Matti Eklund is a notable exception. In his recent book, Choosing Normative Concepts, Eklund argues by elimination for “the Normative Role view” that normative concepts are normative in virtue of having a “normative role” or being “used normatively”. One view that Eklund aims (...) to eliminate is “the Metaphysical view” that normative concepts are normative in virtue of referring to normative properties. In addition to arguing that Eklund’s objection looks doubtful by its own lights, we argue that there are several plausible versions of the Metaphysical view that Eklund doesn’t eliminate, defending various claims about normative concepts and their relationships to deliberation, competence, reference, and possession along the way. (shrink)

We argue that distinct conditionals—conditionals that are governed by different logics—are needed to formalize the rules of Truth Introduction and Truth Elimination. We show that revision theory, when enriched with the new conditionals, yields an attractive theory of truth. We go on to compare this theory with one recently proposed by Hartry Field.

In this article, I analyze how the Harry Potter novels bring to awareness two fundamental aspects of the human condition: the importance of one’s choices and the inevitability of one’s mortality. These are highlighted through the contrast of the characters of Harry Potter and Lord Voldemort.

We present a new frame semantics for positive relevant and substructural propositional logics. This frame semantics is both a generalisation of Routley–Meyer ternary frames and a simplification of them. The key innovation of this semantics is the use of a single accessibility relation to relate collections of points to points. Different logics are modeled by varying the kinds of collections used: they can be sets, multisets, lists or trees. We show that collection frames on trees are sound and complete for (...) the basic positive distributive substructural logic $\mathsf {B}^+$, that collection frames on multisets are sound and complete for $\mathsf {RW}^+$ (the relevant logic $\mathsf {R}^+$, without contraction, or equivalently, positive multiplicative and additive linear logic with distribution for the additive connectives), and that collection frames on sets are sound for the positive relevant logic $\mathsf {R}^+$. The completeness of set frames for $\mathsf {R}^+$ is, currently, an open question. (shrink)

This paper has two aims. First, it sets out an interpretation of the relevant logic E of relevant entailment based on the theory of situated inference. Second, it uses this interpretation, together with Anderson and Belnap’s natural deduc- tion system for E, to generalise E to a range of other systems of strict relevant implication. Routley–Meyer ternary relation semantics for these systems are produced and completeness theorems are proven. -/- .

This paper defends “Animal Universalism,” the thesis that all sentient non-human animals will be brought into Heaven and remain there for eternity. It assumes that God exists and is all-powerful, perfectly loving, and perfectly just. From these background theses, the authors argue that Animal Universalism follows. If God is perfectly loving, then God is concerned about the well-being of non-human animals, and God chooses to maximize the well-being of each individual animal when doing so does not harm other individual creatures (...) or violate creaturely freedom. If God is perfectly just, then God does not arbitrarily discriminate against non-human animals by offering humans an opportunity to enter Heaven but not offering the same to each animal. Each of these conclusions implies Animal Universalism. (shrink)

This is a transcript of a conversation between P F Strawson and Gareth Evans in 1973, filmed for The Open University. Under the title 'Truth', Strawson and Evans discuss the question as to whether the distinction between genuinely fact-stating uses of language and other uses can be grounded on a theory of truth, especially a 'thin' notion of truth in the tradition of F P Ramsey.

This paper examines Gandhian philosophy and practice to reinterpret UNESCO's educational vision towards establishing stable and sustainable knowledge societies. The uniqueness of the Gandhian perspective is its ability to withstand the dominant political, philosophical and religious challenges with its contextually rooted, spiritually oriented, socially responsible and human person centred reinterpretations. UNESCO’s educational vision-Learning: The Treasure Within published in 1996 is a catalyst in establishing stable and sustainable knowledge societies. Consistent changes and challenges in knowledge societies necessitates the reinterpretation of this (...) educational vision. The four pillars of learning in this educational vision are analysed together with four aspects of Gandhian philosophy and practice: ‘learning to know’ and Nai Talim, ‘learning to do’ and ashrams, ‘learning to live together’ and constructive programme and ‘learning to be’ and swaraj. The paper discusses this confluence of the UNESCO’s theoretical approach of four pillars of education with Gandhian pragmatic philosophy and practice to offer a contextually rooted and future-oriented outlook for reinterpreting the educational vision for establishing stable and sustainable knowledge societies. (shrink)

Analytic Philosophy, Volume 63, Issue 1, Page 16-27, March 2022.

Within the Computer Science community, many ethical issues have emerged as significant and critical concerns. Computer ethics is an academic field in its own right and there are unique ethical issues associated with information technology. It encompasses a range of issues and concerns including privacy and agency around personal information, Artificial Intelligence and pervasive technology, the Internet of Things and surveillance applications. As computing technology impacts society at an ever growing pace, there are growing calls for more computer ethics content (...) to be included in Computer Science curricula. In this paper we present the results of a survey that polled faculty from Computer Science and related disciplines about teaching practices for computer ethics at their institutions. The survey was completed by respondents from 61 universities across 23 European countries. Participants were surveyed on whether or not computer ethics is taught to Computer Science students at each institution, the reasons why computer ethics is or is not taught, how computer ethics is taught, the background of staff who teach computer ethics and the scope of computer ethics curricula. This paper presents and discusses the results of the survey. (shrink)

Pada musim semi, entah kenapa, tidak banyak ikan. Karena tangkapannya sangat tidak stabil, Pekakak mulai berpikir. Lalu membuat beberapa rencana. Dengan otoritas komandonya, dia memanggil Bangau: – Ini adalah musim penangkapan ikan yang sangat sulit. Jika kita ingin kenyang, kita harus membuat usaha patungan. Bangau mengangguk, menambahkan: - Saya setuju; mari kita beternak ikan kakap putih dan ikan mas krusia. Jenis ini berumur panjang dan sangat produktif. Pekakak dan Bangau sepakat untuk berbagi tugas beternak, dan tidak ada diskriminasi yang diizinkan. (...) Namun imbalannya berbeda: Pekakak bertanggung jawab untuk ikan kakap putih dan, dengan demikian, dapat memiliki lebih banyak ikan kakap putih, sedangkan Bangau mendapat ikan mas krusia. Siapapun yang memelihara ikan mana yang lebih banyak akan menikmati 80% dari panen akhir ikan tersebut. Keduanya akan mengevaluasi dan membagi produk ternak pada akhir musim beternak. Ini berarti mengantongi sendiri ikan hasil usaha patungan untuk diri sendiri itu dilarang. (shrink)

Suatu pagi di musim panas, desa burung diselimuti keheningan. Semua orang sibuk mendengarkan pengembara baru. Burung pengembara ini berasal dari keluarga yang tidak jelas; bulunya berwarna-warni, gerak-geriknya lucu, dan ilmunya baru. Dia bercerita seolah-olah sedang memberi ceramah, tepat sekali, warga desa memanggilnya burung Guru – orang yang menjawab setiap pertanyaan aneh warga desa yang rajin belajar. Burung pelatuk telah belajar menangkap cacing di sore hari, sehingga mereka tidak perlu bangun pagi. Burung pipit sekarang tahu cara mencuri beras dari gudang saat (...) sawah mulai kering. Bulbul, sementara itu, telah mengambil kesempatan berkumpul untuk memamerkan kecantikan dan fashion mereka… . (shrink)

Pekakak selama ini tinggal di gua galiannya sendiri di tepi kolam, tapi sekarang dia memutuskan bahwa dia membutuhkan rumah baru. Dia melakukan tur keliling desa untuk melihat bagaimana burung-burung lain membangun rumah mereka. Dia mengunjungi Tuan Pipit, yang tinggal di pohon pinus yang bersiul. Bagian depan bangunannya tampak indah, dan lokasinya yang tinggi memberikan ventilasi yang baik. Tapi, semakin lama dia menginap, dia jadi semakin pusing. Hembusan angin apa pun yang menerpa membuat seluruh struktur bangunan bergetar seolah-olah akan hancur berantakan.

There is a history of thinking that photographs provide a special kind of access to the objects depicted in them, beyond the access that would be provided by a painting or drawing. What is included in the photograph does not depend on the photographer’s beliefs about what is in front of the camera. This feature leads Kendall Walton to argue that photographs literally allow us to see the objects which appear in them. Current generative algorithms produce images in response to (...) users’ text prompts. Depending on the parameters, the output can resemble specific people or things which are named in the prompt. This resemblance does not depend on the user’s beliefs, so generated images are in this sense like photographs. Given this parallel, how should we think about AI-generated images? (shrink)

In this paper, I reply to 18 of the essays on panpsychism in this issue. Along the way, I sketch out what a post-Galilean science of consciousness, one in which consciousness is taken to be a fundamental feature of reality, might look like.

The problem considered in this chapter emerges from the tension we find when looking at the design and architecture of chatbots on the one hand and their conversational aptitude on the other. In the way that LLM chatbots are designed and built, we have good reason to suppose they don't possess second-order capacities such as intention, belief or knowledge. Yet theories of conversation make great use of second-order capacities of speakers and their audiences to explain how aspects of interaction succeed. (...) As we can all bear witness to now though, at the point of use chatbots appear capable of performing language tasks at a level close to that of humans. This creates a tension when we consider something like, for example, the classic Gricean theory of implicature. On a broad summary of this type of account, to utter p and implicate q requires the reflexive occurrence of an audience supposing a speaker believes that q, and the speaker believing that their audience can determine they believe it when they utter p. So taken at face value, if a chatbot doesn’t have the capacity for belief, then either in their role as speaker or audience, they would not seem capable of either generating or comprehending implicatures. Yet on the surface it does seem that chatbots are capable of dealing with (some) implicatures, and as such it raises questions about how we should then correlate this with what we think occurs in cases of implicature with chatbots. (shrink)

How should we respond to the humanity of others? Should we care for others’ well-being? Respect them as autonomous agents? Largely neglected is an answer we can find in the religious traditions of Judaism, Christianity and Buddhism: we should love all. This paper argues that an ideal of love for all can be understood apart from its more typical religious contexts and moreover provides a unified and illuminating account of the the nature and grounds of morality. I defend a novel (...) account of love for all that avoids serious worries about the incoherence or impossibility of loving everyone. Doing so requires countenancing a neglected form of love. Love admits as its object not just individual entities like people and groups; we can also bear a love for the Fs in general---for all the Joneses, all the philosophers, or even all the human beings. I go on to argue that while it is possible for ordinary agents like us to love all, we shouldn't. Instead, we should approximate love for all. The minimal approximation of love for all is, surprisingly, respect; I derive the basic, structural features of deontological ethics (including anti-paternalism and anti-aggregation) from the ideal of loving all. (NB: This paper used to be titled "Ethics in the Shadow of Love" and has been cited as an unpublished manuscript under that title.). (shrink)

The Argument from Inductive Risk (AIR) is taken to show that values are inevitably involved in making judgements or forming beliefs. After reviewing this conclusion, I pose cases which are prima facie counterexamples: the unreflective application of conventions, use of black-boxed instruments, reliance on opaque algorithms, and unskilled observation reports. These cases are counterexamples to the AIR posed in ethical terms as a matter of personal values. Nevertheless, it need not be understood in those terms. The values which load a (...) theory choice may be those of institutions or past actors. This means that the challenge of responsibly handling inductive risk is not merely an ethical issue, but is also social, political, and historical. (shrink)

The study of biodiversity spans many disciplines and includes data pertaining to species distributions and abundances, genetic sequences, trait measurements, and ecological niches, complemented by information on collection and measurement protocols. A review of the current landscape of metadata standards and ontologies in biodiversity science suggests that existing standards such as the Darwin Core terminology are inadequate for describing biodiversity data in a semantically meaningful and computationally useful way. Existing ontologies, such as the Gene Ontology and others in the Open (...) Biological and Biomedical Ontologies (OBO) Foundry library, provide a semantic structure but lack many of the necessary terms to describe biodiversity data in all its dimensions. In this paper, we describe the motivation for and ongoing development of a new Biological Collections Ontology, the Environment Ontology, and the Population and Community Ontology. These ontologies share the aim of improving data aggregation and integration across the biodiversity domain and can be used to describe physical samples and sampling processes (for example, collection, extraction, and preservation techniques), as well as biodiversity observations that involve no physical sampling. Together they encompass studies of: 1) individual organisms, including voucher specimens from ecological studies and museum specimens, 2) bulk or environmental samples (e.g., gut contents, soil, water) that include DNA, other molecules, and potentially many organisms, especially microbes, and 3) survey-based ecological observations. We discuss how these ontologies can be applied to biodiversity use cases that span genetic, organismal, and ecosystem levels of organization. We argue that if adopted as a standard and rigorously applied and enriched by the biodiversity community, these ontologies would significantly reduce barriers to data discovery, integration, and exchange among biodiversity resources and researchers. (shrink)

Some scientific categories seem to correspond to genuine features of the world and are indispensable for successful science in some domain; in short, they are natural kinds. This book gives a general account of what it is to be a natural kind and puts the account to work illuminating numerous specific examples.

I've previously suggested that the historical evidence used to challenge scientific realism should lead us to embrace what I call Uniformitarianism, but many recently influential forms of scientific realism seem happy to share this commitment. I trace a number of further points of common ground that collectively constitute an appealing Middle Path between classical forms of realism and instrumentalism, and I suggest that many contemporary realists and instrumentalists have already become fellow travelers on this Middle Path without recognizing how far (...) they have thereby diverged from those who share their labels and slogans. I conclude by describing their central remaining disagreement and the sorts of evidence needed to resolve it. (shrink)

When we ask what natural kinds are, there are two different things we might have in mind. The first, which I’ll call the taxonomy question, is what distinguishes a category which is a natural kind from an arbitrary class. The second, which I’ll call the ontology question, is what manner of stuff there is that realizes the category. Many philosophers have systematically conflated the two questions. The confusion is exhibited both by essentialists and by philosophers who pose their accounts in (...) terms of similarity. It also leads to misreading philosophers who do make the distinction. Distinguishing the questions allows for a more subtle understanding of both natural kinds and their underlying metaphysics. (shrink)

The no-miracles argument and the pessimistic induction are arguably the main considerations for and against scientific realism. Recently these arguments have been accused of embodying a familiar, seductive fallacy. In each case, we are tricked by a base rate fallacy, one much-discussed in the psychological literature. In this paper we consider this accusation and use it as an explanation for why the two most prominent `wholesale' arguments in the literature seem irresolvable. Framed probabilistically, we can see very clearly why realists (...) and anti-realists have been talking past one another. We then formulate a dilemma for advocates of either argument, answer potential objections to our criticism, discuss what remains (if anything) of these two major arguments, and then speculate about a future philosophy of science freed from these two arguments. In so doing, we connect the point about base rates to the wholesale/retail distinction; we believe it hints at an answer of how to distinguish profitable from unprofitable realism debates. In short, we offer a probabilistic analysis of the feeling of ennui afflicting contemporary philosophy of science. (shrink)

William James’ argument against William Clifford in The Will to Believe is often understood in terms of doxastic efficacy, the power of belief to influence an outcome. Although that is one strand of James’ argument, there is another which is driven by ampliative risk. The second strand of James’ argument, when applied to scientific cases, is tantamount to what is now called the Argument from Inductive Risk. Either strand of James’ argument is sufficient to rebut Clifford's strong evidentialism and show (...) that it is sometimes permissible to believe in the absence of compelling evidence. However, the two considerations have different scope and force. Doxastic efficacy applies in only some cases but allows any values to play a role in determining belief; risk applies in all cases but only allows particular conditional values to play a role. (shrink)

Tradução para o português do ensaio "Freedom and Resentment”, de P. F. Strawson. Publicado originalmente em Proceedings of the British Academy, v. 48, 1960. Republicado em Freedom and Resentment and Other Essays. Londres: Methuen, 1974. [Routledge, 2008, p. 2-28]. Publicado na coletânea: Ensaios sobre a filosofia de Strawson: com a tradução de Liberdade e ressentimento & Moralidade social e ideal individual. Organizadores: Jaimir Conte & Itamar Luís Gelain. Editora da UFSC, 2015. ISBN: 9788532807250.

In 1956, a few writings of Wittgenstein that he didn't publish in his lifetime were revealed to the public. These writings were gathered in the book Remarks on the Foundations of Mathematics (1956). There, we can see that Wittgenstein had some discontentment with the way philosophers, logicians, and mathematicians were thinking about paradoxes, and he even registered a few polemic reasons to not accept Gödel’s incompleteness theorems.

Tradução para o português do livro "Ceticismo e naturalismo: algumas variedades", Strawson, P. F. . São Leopoldo, RS: Editora da Unisinos, 2008, 114 p. Coleção: Ideias. ISBN: 9788574313214. Capítulo 1 - Ceticismo, naturalismo e argumentos transcendentais 1. Notas introdutórias; 2. Ceticismo tradicional; 3. Hume: Razão e Natureza; 4. Hume e Wittgenstein; 5. “Apenas relacionar”: O papel dos argumentos transcendentais; 6. Três citações; 7. Historicismo: e o passado.

The problem of underdetermination is thought to hold important lessons for philosophy of science. Yet, as Kyle Stanford has recently argued, typical treatments of it offer only restatements of familiar philosophical problems. Following suggestions in Duhem and Sklar, Stanford calls for a New Induction from the history of science. It will provide proof, he thinks, of “the kind of underdetermination that the history of science reveals to be a distinctive and genuine threat to even our best scientific theories” (Stanford 2001, (...) p. S12). This paper examines Stanford’s New Induction and argues that it – like the other forms of underdetermination that he criticizes – merely recapitulates familiar philosophical conundra. (shrink)

It has been over two decades since Miranda Fricker labeled epistemic injustice, in which an agent is wronged in their capacity as a knower. The philosophical literature has proliferated with variants and related concepts. By considering cases in popular music, we argue that it is worth distinguishing a parallel phenomenon of art-interpretive injustice, in which an agent is wronged in their creative capacity as a possible artist. In section 1, we consider the prosecutorial use of rap lyrics in court as (...) a central case of this injustice. In section 2, we distinguish art-interpretive injustice from other categories already discussed in recent literature. In section 3, we discuss the relationship between genre discourse and identity prejudice. The case for recognizing the category of art-interpretive injustice is that it allows one to recognize a class of harms as being importantly related in ways that one would otherwise overlook. (shrink)

Some philosophers understand natural kinds to be the categories which are constraints on enquiry. In order to elaborate the metaphysics appropriate to such an account, I consider the complicated history of scurvy, citrus, and vitamin C. It may be tempting to understand these categories in a shallow way (as mere property clusters) or in a deep way (as fundamental properties). Neither approach is adequate, and the case instead calls for middle-range ontology: starting from categories which we identify in the world (...) and elaborating their structure, but not pretending to jump ahead to a complete story about fundamental being. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

Philosophy in Africa has for more than a decade now been dominated by the discussion of one compound question, namely, is there an African philosophy, and if there is, what is it? The first part of the question has generally been unhesitatingly answered in the affirmative. Dispute has been primarily over the second part of the question as various specimens of African philosophy presented do not seem to pass muster. Those of us who refuse to accept certain specimens as philosophy (...) have generally been rather illogically said also to deny an affirmative answer to the first part of the question. In a paper presented at the International Symposium in Memory of Dr William Amo, the Ghanaian philosopher who taught in German universities in the early part of the eighteenth century, Professor Odera Oruka identified four trends, perhaps more appropriately approaches, in current African philosophy. (shrink)

It is now commonly held that values play a role in scientific judgment, but many arguments for that conclusion are limited. First, many arguments do not show that values are, strictly speaking, indispensable. The role of values could in principle be filled by a random or arbitrary decision. Second, many arguments concern scientific theories and concepts which have obvious practical consequences, thus suggesting or at least leaving open the possibility that abstruse sciences without such a connection could be value-free. Third, (...) many arguments concern the role values play in inferring from evidence, thus taking evidence as given. This paper argues that these limitations do not hold in general. There are values involved in every scientific judgment. They cannot even conceivably be replaced by a coin toss, they arise as much for exotic as for practical sciences, and they are at issue as much for observation as for explicit inference. (shrink)